Context-dependent product line engineering with lightweight formal approaches

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HATS - A Formal Software Product Line Engineering Methodology

Trust in software is typically achieved via stabilisation efforts over long periods of use. Adaptation to changing circumstances, however, often requires substantial change of the software. Changing a software system using standard manufacturing processes often results in quality regressions, invalidating trust. Formal methods provide means to guarantee various properties of a software system t...

متن کامل

Integrating Compositional and Annotative Approaches for Product Line Engineering

Software product lines can be implemented with many different approaches. However, there are common underlying mechanisms which allow a classification into compositional and annotative approaches. While research focuses mainly on composition approaches like aspector feature-oriented programming because those support feature traceability and modularity, in practice annotative approaches like pre...

متن کامل

Software Product Line Engineering with Feature Models

One increasing trend in software development is the need to develop multiple, similar software products instead of just a single individual product. There are several reasons for this. Products that are being developed for the international market must be adapted for different legal or cultural environments, as well as for different languages, and so must provide adapted user interfaces. Becaus...

متن کامل

Combining Product Line Engineering with Options Thinking

Developing a product family in an uncertain environment where future family members cannot be reliably predicted generally implies high risk for a product line approach. As managers usually tend to favour short term and low risk projects, such a product family is not likely to be engineered as a product line. However, we can engineer different evolutionary paths of a product that are uncertain ...

متن کامل

Component-based product line engineering with UML

The KobrA (derived from Komponentenbasierte Anwendungsentwicklung, which is German for "component-based application development") methodology is based on a number of principles. Most of these -such as parsimony, encapsulation, and locality -are restatements of generally accepted component software engineering principles for keeping things simple, separating concerns, and minimizing coupling. Wh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science of Computer Programming

سال: 2013

ISSN: 0167-6423

DOI: 10.1016/j.scico.2012.06.006